Automated systematic testing for constraint-based interactive services
نویسندگان
چکیده
منابع مشابه
Automated Specification-based Testing of Interactive Components with AsmL
It is presented a promising approach to test interactive components, supporting the automatic generation of test cases from a specification. The relevance and difficulties (issues and challenges) associated with the testing of interactive components are first presented. It is shown that a formal specification with certain characteristics allows the automatic generation of test cases while solvi...
متن کاملAutomated Regression Testing Using Constraint Programming
In software validation, regression testing aims to check the absence of regression faults in new releases of a software system. Typically, test cases used in regression testing are executed during a limited amount of time and are selected to check a given set of user requirements. When testing large systems, the number of regression tests grows quickly over the years, and yet the available time...
متن کاملAutomated Testing of XML/SOAP based Web Services
Web services provide seamless connections from one software application to another over private intranets and the Internet. The major communication protocol used is SOAP being mainly XML over HTTP. The exchanged data follow precise format rules in the form of XML Document Type Definitions or more recently the proposed XML Schemas. Web service testing considers functionality and load aspects to ...
متن کاملTowards Automated WSDL-Based Testing of Web Services
With the emergence of service-oriented computing, proper approaches are needed to validate a Web Service (WS) behaviour. In the last years several tools automating WS testing have been released. However, generally the selection of which and how many test cases should be run, and the instantiation of the input data into each test case, is still left to the human tester. In this paper we introduc...
متن کاملGenerating Tradeoos for Interactive Constraint-based Connguration
In this paper we have modeled tradeoos in constraint-based connguration as additional constraints, and begun to study the issues involved in generating and evaluating such tradeoos. We describe our basic approach in the context of a \toy" connguration problem based on the classic N-Queens problem. Initial experiments compare \proposal strategies" for generating tradeoos. We demonstrate that arc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGSOFT Software Engineering Notes
سال: 2000
ISSN: 0163-5948
DOI: 10.1145/357474.355051